141. Systems Implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000 : Languages, Methods and Tools 23-26 February 1998, Berlin, Germany
پدیدآورنده : edited by R. N. Horspool
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Software engineering - Congresses , Computer software - Development - Congresses
رده :
QA
76
.
758
.
I35
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
142. Systems, Software and Services process Improvement.
پدیدآورنده : \ Rory V. O’Connor...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering.,Computer software -- Development -- Congresses.,Computer software -- Quality control -- Congresses,مهندسی نرم افزار ,نرمافزار -- تولید -- کنگره ها ,نرم افزار -- کنترل کیفیت -- کنگره ها
رده :
QA
76
.
76
.
S968
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
143. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
پدیدآورنده : Edited by Hartmut Ehrig...]et al.[
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
رده :
QA
76
.
L4
v
.
249
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
144. Tapsof: Proceedings of the International Joint Conference on theary and Practice of Software Development
پدیدآورنده : Internation Joint Conference on theory and Practice of Software Development,edited by G.Goos and J. Hartmanis
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer Software - Development - Cpngresses,، Software Engineering - Congresses,، Trees )Graph theay(- Data Processing - Congresses
رده :
QA
76
.
76
.
D47
I57
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
145. Tapsoft, 91 Proceedings of the internation Join Conference on Theory and Practice of Software Development
پدیدآورنده : International Joint Conference on the any and Practice of Software Development,S.Abramsky, T.S.E.Maibaum; editor by G.Goos and J.Hartmanis
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer Software - Developmenyt - Congresses,، Software - engineering - Congresses
رده :
QA
76
.
76
.
D47
I57A
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
146. Testing software and systems.
پدیدآورنده : \ Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Testing -- Congresses,Software engineering -- Congresses,نرمافزار -- آزمایش -- کنگره ها,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
76
.
T48
I34
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
147. The common component modeling example
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Component software ; Congresses. ; Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ;
![](/design/images/bookmore.png)
148. Theory of Cryptography
پدیدآورنده : \ Björn Franke (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلرها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه نویسی ,مهندسی نرم افزار
رده :
QA76
.
76
.
T46
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
149. Verification, Model Checking, and Abstract Interpretation.
پدیدآورنده : \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستیآزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی
رده :
.
V4
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
150. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
151. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگرهها ,علوم کامپیوتر,شبکههای رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
152. agent systems V-Software engineering for multi
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
![](/design/images/bookmore.png)
153. based software engineering-Component
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
![](/design/images/bookmore.png)
154. oriented software engineering VI-Agent
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
![](/design/images/bookmore.png)
155. oriented software engineering VII-Agent
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
![](/design/images/bookmore.png)
156. oriented software engineering VIII-Agent
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
![](/design/images/bookmore.png)
157. services :-technologies, infrastructures, tools, and applications for e-Agent
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Intelligent agents (Computer software) ; Congresses ; Software engineering ; Congresses ; Electronic commerce ; Computer programs ; Congresses ;
![](/design/images/bookmore.png)
158. #16th Annual International Conference on Automated Software Engineering
پدیدآورنده : #sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM SIGSoft, ACM SIGArt
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Software engineering- Congresses ،Expert systems )Computer science(- Congresses
رده :
#
QA
،#.
I54
،#
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)